1001. Tools for Practical Software Verification :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic design.,Software engineering.

رده :
QA76
.
76
.
V47
E358
2012

1002. Towards Evolvable Hardware :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic design.

رده :
TK7888
.
4
E358
1996

1003. Towards a design flow for reversible logic

المؤلف:

المکتبة: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع: ، Computer logic,، Computer architecture,، Logic programming

رده :
QA
76
.
9
.
L63
W55
2010

1004. Towards a design flow for reversible logic

المؤلف:

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer logic.,Computer architecture.,Logic programming.

رده :
QA
,
76
.
9
,.
L63
,
W55
,
2010

1005. Towards a design flow for reversible logic

المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer logic. ; Computer architecture. ; Logic programming. ; Reversible computing. ;

1006. Towards evolvable hardware : the evolutionary engineering approach

المؤلف:

المکتبة: (طهران)

موضوع: ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(

رده :
QA
76
.
L28
Vol
.
1062

1007. Transactions on computational science XXXIII /

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Internet of things.,Wireless communication systems.,Computer Applications.,Computer Communication Networks.,Logic Design.,Mathematics of Computing.,Operating Systems.,Theory of Computation.,Computer architecture & logic design.,Computer science.,Computers-- Computer Science.,Computers-- Data Processing.,Computers-- Hardware-- Network Hardware.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Information technology: general issues.,Internet of things.,Mathematical theory of computation.,Network hardware.,Operating systems.,Wireless communication systems.

رده :
TK5105
.
8857

1008. Trends in Functional Programming :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic design.

رده :
QA76
.
62
E358
2014

1009. Trends in Functional Programming

المؤلف:

المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Functional programming (Computer science) -- Congresses.,Logic design -- Computer programs -- Congresses.,Data structures (Computer science) -- Congresses.,طراحی منطقی -- برنامه‌های کامپیوتری -- کنگره ها ,ساختار داده‌ها -- کنگره ها

رده :
QA
76
.
62
.
T7
2015
E-Book
,

1010. Trends in functional programming :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer science.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.,Logic design.,Operating systems (Computers)

رده :
QA76
.
62
.
I58
2018

1011. Trends in functional programming :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Data structures (Computer science),Functional programming (Computer science),Logic design-- Computer programs.

رده :
QA76
.
62

1012. Trends in functional programming :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.

رده :
QA76
.
62

1013. Trust-based collective view prediction

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer logic,Data mining

رده :
QA76
.
9
.
L63
T78
2013

1014. Typed Lambda Calculi and Applications :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Logic design.,Logic, Symbolic and mathematical.

1015. Typed Lambda Calculi and Applications :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Algebra -- Data processing.,Computer science.,Logic design.

رده :
QA9
.
5
E358
2013

1016. Typed Lambda Calculi and Applications :

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Computer science.,Lambda calculus -- Congresses.,Logic design.

رده :
QA9
.
5
E358
1995

1017. Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers

المؤلف:

المکتبة: (طهران)

موضوع: Congresses ، Computer logic,Congresses ، Type theory

رده :
QA
76
.
L28
Vol
.
1512

1018. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach

المؤلف:

المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.

1019. Uncertainty treatment using paraconsistent logic

المؤلف:

المکتبة: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)

موضوع: Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence

رده :
QA
,
76
.
87
,.
S57
,
2010

1020. Uncertainty treatment using paraconsistent logic: introducing paraconsistent artificial neural networks

المؤلف:

المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: ، Neural networks )Computer science(,، Uncertainty )Information theory(,، Logic programming,، Inconsistency )Logic(,، Artificial intelligence

رده :
QA
76
.
87
.
S57
2010